Forgotten header file

diff --git a/gtk/gtkmenu.h b/gtk/gtkmenu.h
index 6f988f0033935575e895fe1e895edabdc33dc760..4cdcad3fc3b59ed2731578b877c35be700bce2a4 100644 (file)
--- a/gtk/gtkmenu.h
+++ b/gtk/gtkmenu.h
@@ -209,6 +209,12 @@ GList*     gtk_menu_get_for_attach_widget (GtkWidget           *widget);
 #define gtk_menu_insert(menu,child,pos)        gtk_menu_shell_insert ((GtkMenuShell *)(menu),(child),(pos))
 #endif /* GTK_DISABLE_DEPRECATED */
 
+/* private */
+
+void      _gtk_menu_set_reserve_toggle_size (GtkMenu  *menu,
+                                             gboolean  reserve);
+
+
 G_END_DECLS
 
 #endif /* __GTK_MENU_H__ */